PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| isabelle-client | 0.5.3 | A client to Isabelle proof assistant server | 2025-01-25 11:43:55 |
| gym-saturation | 0.12.1 | Gymnasium environments for saturation provers | 2025-01-11 12:00:16 |
| yapsap | 0.0.2 | Yet Another Python SAturation Prover | 2023-10-07 17:19:32 |
| tptp-lark-parser | 0.2.0 | A TPTP parser using Lark | 2023-02-08 17:32:55 |
Boris Shminke
| hour | day | week | total |
|---|---|---|---|
| 160 | 496 | 505 | 291668 |